منابع مشابه
survey on the rule of the due & hindering relying on the sheikh ansaris ideas
قاعده مقتضی و مانع در متون فقهی کم و بیش مستند احکام قرار گرفته و مورد مناقشه فقهاء و اصولیین می باشد و مشهور معتقند مقتضی و مانع، قاعده نیست بلکه یکی از مسائل ذیل استصحاب است لذا نگارنده بر آن شد تا پیرامون این قاعده پژوهش جامعی انجام دهد. به عقیده ما مقتضی دارای حیثیت مستقلی است و هر گاه می گوییم مقتضی احراز شد یعنی با ماهیت مستقل خودش محرز گشته و قطعا اقتضاء خود را خواهد داشت مانند نکاح که ...
15 صفحه اولRotation Numbers and Lyapunov Stability of Elliptic Periodic Solutions
Using the relation between the Hill’s equations and the ErmakovPinney equations established by Zhang [27], we will give some interesting lower bounds of rotation numbers of Hill’s equations. Based on the Birkhoff normal forms and the Moser twist theorem, we will prove that two classes of nonlinear, scalar, time-periodic, Newtonian equations will have twist periodic solutions, one class being re...
متن کاملPreservation of Lyapunov-Theoretic Proofs:From Real to Floating-Point Numbers
In [Fer10] Feron presents how Lyapunov-theoretic proofs of stability can be migrated toward computer-readable and verifiable certificates of control software behavior by relying of Floyd’s and Hoare’s proof system. We address the issue of errors resulting from the use of floating-point arithmetic: we present an approach to translate Feron’s proof invariants on real arithmetic to similar invaria...
متن کاملon the effects of pictorial clues on the efl learners listening comprehension development
the following null hypothesis was proposed: there is no significant difference between the efl students listening comprehension development receiving pictorial cues and those receiving no cuse. to test the null hypothesis, 52 male and femal freshmen students of medicine studing at iran university of medical scinces were randomly selected from a total population of 72 students. to ensure that th...
15 صفحه اولOptimal integrated passive/active design of the suspension system using iteration on the Lyapunov equations
In this paper, an iterative technique is proposed to solve linear integrated active/passive design problems. The optimality of active and passive parts leads to the nonlinear algebraic Riccati equation due to the active parameters and some associated additional Lyapunov equations due to the passive parameters. Rather than the solution of the nonlinear algebraic Riccati equation, it is proposed ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Colloquium Mathematicum
سال: 2013
ISSN: 0010-1354,1730-6302
DOI: 10.4064/cm131-2-4